3,077 research outputs found
On Redundancy Elimination Tolerant Scheduling Rules
In (Ferrucci, Pacini and Sessa, 1995) an extended form of resolution, called
Reduced SLD resolution (RSLD), is introduced. In essence, an RSLD derivation is
an SLD derivation such that redundancy elimination from resolvents is performed
after each rewriting step. It is intuitive that redundancy elimination may have
positive effects on derivation process. However, undesiderable effects are also
possible. In particular, as shown in this paper, program termination as well as
completeness of loop checking mechanisms via a given selection rule may be
lost. The study of such effects has led us to an analysis of selection rule
basic concepts, so that we have found convenient to move the attention from
rules of atom selection to rules of atom scheduling. A priority mechanism for
atom scheduling is built, where a priority is assigned to each atom in a
resolvent, and primary importance is given to the event of arrival of new atoms
from the body of the applied clause at rewriting time. This new computational
model proves able to address the study of redundancy elimination effects,
giving at the same time interesting insights into general properties of
selection rules. As a matter of fact, a class of scheduling rules, namely the
specialisation independent ones, is defined in the paper by using not trivial
semantic arguments. As a quite surprising result, specialisation independent
scheduling rules turn out to coincide with a class of rules which have an
immediate structural characterisation (named stack-queue rules). Then we prove
that such scheduling rules are tolerant to redundancy elimination, in the sense
that neither program termination nor completeness of equality loop check is
lost passing from SLD to RSLD.Comment: 53 pages, to appear on TPL
Recommended from our members
A Data-informed Public Health Policy-Makers Platform
Hearing loss is a disease exhibiting a growing trend due to the number of factors, including but not limited to the mundane exposure to the noise and ever-increasing amount of older population. In the framework of a public health policymaking process, modeling of the hearing loss disease based on data is a key factor in alleviating the issues related to the disease issuing effective public health policies. First, the paper describes the steps of the data-driven policymaking process. Afterward, a scenario along with the part of the proposed platform, responsible for supporting policymaking are presented. With the aim of demonstrating the capabilities and usability of the platform for the policy-makers, some initial results of preliminary analytics are presented in a framework of a policy-making process. Ultimately, the utility of the approach is validated throughout the results of the survey which was presented to the health system policy-makers professionals involved in the policy development process in Croatia
One-step growth and shaping by a dual plasma reactor of diamond nanocones arrays for the assembling of stable cold cathodes
Arrays of conical-shaped nanodiamond structures are formed on silicon substrate by a single-step CVD process from CH4/H-2 mixtures. The formation of these nanocones has been found to depend on interplay between growing and etching during the CVD process carried out in a dual-mode MW/RF plasma reactor. Morphology and structure of the conical-like systems can be controlled by varying the process parameters, and have been investigated by scanning electron microscopy (SEM), reflection high energy electron diffraction (RHEED) and micro-Raman spectroscopy. The Field Emission (FE) properties of different diamond nanocones arrays have been investigated and compared with those of analogous systems in order to assess the feasibility of the present nano-materials as electron emitters for cold cathodes. The FE behavior is discussed taking into account the structure of the different diamond nanocones
Chlamydia pneumoniae in asymptomatic carotid atherosclerosis.
We evaluated, in 415 patients with asymptomatic carotid atherosclerosis: (i) the prevalence of C. pneumoniae DNA in atherosclerotic carotid plaques and peripheral blood mononuclear cells (PBMC); (i..
ESMO management and treatment adapted recommendations in the COVID-19 era: gynaecological malignancies
The rapid spread of severe acute respiratory syndrome coronavirus 2 infection and its related disease (COVID-19) has required an immediate and coordinate healthcare response to face the worldwide emergency and define strategies to maintain the continuum of care for the non-COVID-19 diseases while protecting patients and healthcare providers. The dimension of the COVID-19 pandemic poses an unprecedented risk especially for the more vulnerable populations. To manage patients with cancer adequately, maintaining the highest quality of care, a definition of value-based priorities is necessary to define which interventions can be safely postponed without affecting patients' outcome. The European Society for Medical Oncology (ESMO) has endorsed a tiered approach across three different levels of priority (high, medium, low) incorporating information on the value-based prioritisation and clinical cogency of the interventions that can be applied for different disease sites. Patients with gynaecological cancer are at particular risk of COVID-19 complications because of their age and prevalence of comorbidities. The definition of priority level should be based on tumour stage and histology, cancer-related symptoms or complications, aim (curative vs palliative) and magnitude of benefit of the oncological intervention, patients' general condition and preferences. The decision-making process always needs to consider the disease-specific national and international guidelines and the local healthcare system and social resources, and a changing situation in relation to COVID-19 infection. These recommendations aim to provide guidance for the definition of deferrable and undeferrable interventions during the COVID-19 pandemic for ovarian, endometrial and cervical cancers within the context of the ESMO Clinical Practice Guidelines
Association between hepatic steatosis and obstructive sleep apnea in children and adolescents with obesity
Background: Owing to the increasing rate of pediatric obesity, its complications such as non-alcoholic fatty liver disease (NAFLD) and obstructive sleep apnea (OSA) have become prevalent already in childhood. We aimed to assess the relationship between these two diseases in a cohort of children with obesity. Methods: We enrolled 153 children with obesity (mean age 10.5 ± 2.66, mean BMI 30.9 ± 5.1) showing OSA. Subjects underwent a laboratory evaluation, a cardio-respiratory polysomnography (PSG), and a liver ultrasound. Results: All subjects had a clinical diagnosis of OSA based on the AHI > 1/h (mean AHI 8.0 ± 5.9; range 2.21–19.0). Of these, 69 showed hepatic steatosis (62.3% as mild, 20.3% as moderate, and 17.4% as severe degree). A strong association between ALT and apnea/hypopnea index (AHI) was observed (p = 0.0003). This association was not confirmed after adjusting for hepatic steatosis (p = 0.53). By subdividing our population according to the presence/absence of steatosis, this association was found only in the steatosis group (p = 0.009). As the severity of steatosis increased, the significance of its association with AHI compared to the absence of steatosis became progressively stronger (all p < 0.0001). Conclusions: Hepatic steatosis seems to drive the association between OSA and ALT levels, suggesting a potential pathogenic role of OSA in NAFLD
ESMO management and treatment adapted recommendations in the COVID-19 era: gynaecological malignancies
The rapid spread of severe acute respiratory syndrome
coronavirus 2 infection and its related disease (COVID-19)
has required an immediate and coordinate healthcare
response to face the worldwide emergency and define
strategies to maintain the continuum of care for the
non-COVID-19 diseases while protecting patients and
healthcare providers. The dimension of the COVID-19
pandemic poses an unprecedented risk especially for the
more vulnerable populations. To manage patients with
cancer adequately, maintaining the highest quality of
care, a definition of value-based priorities is necessary
to define which interventions can be safely postponed
without affecting patients’ outcome. The European
Society for Medical Oncology (ESMO) has endorsed a
tiered approach across three different levels of priority
(high, medium, low) incorporating information on the
value-based prioritisation and clinical cogency of the
interventions that can be applied for different disease
sites. Patients with gynaecological cancer are at particular
risk of COVID-19 complications because of their age and
prevalence of comorbidities. The definition of priority
level should be based on tumour stage and histology,
cancer-related symptoms or complications, aim (curative
vs palliative) and magnitude of benefit of the oncological
intervention, patients’ general condition and preferences.
The decision-making process always needs to consider
the disease-specific national and international guidelines
and the local healthcare system and social resources,
and a changing situation in relation to COVID-19 infection.
These recommendations aim to provide guidance for the
definition of deferrable and undeferrable interventions
during the COVID-19 pandemic for ovarian, endometrial
and cervical cancers within the context of the ESMO
Clinical Practice Guidelines
ACTH-producing tumorlets and carcinoids of the lung: clinico-pathologic study of 63 cases and review of the literature.
Adrenocorticotropic hormone (ACTH)-secreting lung carcinoids represent the principal cause of ectopic Cushing syndrome, but the prevalence of ACTH expression and the association between ACTH production and Cushing syndrome in lung carcinoids have scarcely been investigated. In addition, available information on the prognostic meaning of ACTH production is controversial. The aims of this multicentric retrospective study, also including a review of the literature, were to describe the clinico-pathologic features of ACTH-producing lung carcinoids, to assess recurrence and specific survival rates, and to evaluate potential prognostic factors. To identify ACTH production in 254 unselected and radically resected lung carcinoids, we used a double approach including RT-PCR (mRNA encoding for pro-opiomelanocortin) and immunohistochemistry (antibodies against ACTH and β-endorphin). Sixty-three (24.8%) tumors produced ACTH and 11 of them (17.4%), representing 4.3% of the whole series, were associated with Cushing syndrome. The median follow-up time was 71 months. The 10-year overall and specific survival rates were 88.5% and 98.2%, respectively, with difference neither between functioning and nonfunctioning tumors nor between ACTH-positive and ACTH-negative carcinoids. At univariate analysis, histological type (typical or atypical) and Ki67 index significantly correlated with tumor recurrence. The literature review identified 172 previously reported patients with functioning ACTH-secreting lung carcinoids, and the meta-analysis of survival showed that 92% of them were alive after a mean follow-up time of 50 months. Our results demonstrate that ACTH-producing lung carcinoids are not rare, are not always associated with Cushing syndrome, and do not represent an aggressive variant of lung carcinoid
TSPAN5 Enriched Microdomains Provide a Platform for Dendritic Spine Maturation through Neuroligin-1 Clustering
Tetraspanins are a class of evolutionarily conserved transmembrane proteins with 33 members identified in mammals that have the ability to organize specific membrane domains, named tetraspanin-enriched microdomains (TEMs). Despite the relative abundance of different tetraspanins in the CNS, few studies have explored their role at synapses. Here, we investigate the function of TSPAN5, a member of the tetraspanin superfamily for which mRNA transcripts are found at high levels in the mouse brain. We demonstrate that TSPAN5 is localized in dendritic spines of pyramidal excitatory neurons and that TSPAN5 knockdown induces a dramatic decrease in spine number because of defects in the spine maturation process. Moreover, we show that TSPAN5 interacts with the postsynaptic adhesion molecule neuroligin-1, promoting its correct surface clustering. We propose that membrane compartmentalization by tetraspanins represents an additional mechanism for regulating excitatory synapses
- …